/**
 * This program is free software but WITHOUT ANY WARRANTY OR CONDITIONS OF ANY KIND.
 *
 * Copyright (C) 2008-2012 www.pretty-tools.com
 */

function onlyNumbers(e)
{
    return /[\d\x00\x08]/.test(String.fromCharCode(e.charCode));
}

function onPageLoad()
{
    // capture keyboard events
    document.getElementById("tab_rules").addEventListener("keypress", onKeyPressInTree, true);
    onLoad();
}
